Periodicity of complementing multisets
نویسندگان
چکیده
منابع مشابه
Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals
This Isabelle/HOL formalization introduces a nested multiset datatype and de nes Dershowitz and Manna's nested multiset order. The order is proved well founded and linear. By removing one constructor, we transform the nested multisets into hereditary multisets. These are isomorphic to the syntactic ordinals the ordinals can be recursively expressed in Cantor normal form. Addition, subtraction, ...
متن کاملMultisets and Fuzzy Multisets as a Framework of Information Systems
Multisets are now a common tool and a fundamental framework in information processing. Their generalization to fuzzy multisets has also been studied. In this paper the basics of multisets and fuzzy multisets are reviewed, fundamental properties of fuzzy multisets are proved, and advanced operations are defined. Applications to rough sets, fuzzy data retrieval, and automatic classification are m...
متن کاملMathematics of Multisets
This paper is an attempt to summarize most things that are related to multiset theory. We begin by describing multisets and the operations between them. Then we present hybrid sets and their operations. We continue with a categorical approach to multisets. Next, we present fuzzy multisets and their operations. Finally, we present partially ordered multisets.
متن کاملGraphematics of Multisets
Some applications of techniques borrowed from multiset theory to elaborate graphematical systems as ‘data’ structures with the operations of union, sum, difference and polycontextural dissemination of mixed data structures, like set, multiset, list, trito-, deuteroand protograms. The metaphor of ‘team’ observation for the study of multisets gets a polycontextural explication and application to ...
متن کاملAntichains of Multisets
The problem of enumeration of m-antichains of k-bounded multisets on an n-set is considered. A formula for calculating the cardinality of the corresponding family in terms of the graph theory was obtained. A more general case of multiantichains is also considered. As an illustration the corresponding explicit formulas are given for the case when 1 ≤ m ≤ 4, k ≥ 1 and n ≥ 0.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Functiones et Approximatio Commentarii Mathematici
سال: 2012
ISSN: 0208-6573
DOI: 10.7169/facm/2012.46.2.2